Petri Net Supervisory Method for Linear Constraints and its Applications to Flexible Manufacturing Systems
نویسنده
چکیده
An algorithm is proposed to equivalently transform original linear constraints on Petri nets, where the uncontrollable subnets are forward-concurrent free nets, into admissible ones. Consequently, this algorithm can be used to design both efficient and optimal supervisors for enforcing linear constraints on Petri nets since the problem on how to enforce admissible constraints has been well solved. Further, the supervisor synthesis procedure is presented using this algorithm. Lastly, it is illustrated by an example where an optimal supervisor is designed for a flexible manufacturing system. DOI: 10.4018/978-1-4666-4034-4.ch002
منابع مشابه
Time Management Approach on a Discrete Event Manufacturing System Modeled by Petri Net
Discrete event system, Supervisory control, Petri Net, Constraint This paper presents a method to manage the time in a manufacturing system for obtaining an optimized model. The system in this paper is modeled by the timed Petri net and the optimization is performed based on the structural properties of Petri nets. In a system there are some states which are called forbidden states an...
متن کاملSupervisory Policies for Flexible Manufacturing Systems
This paper focuses on a method for synthesizing deadlock avoidance controllers in flexible manufacturing systems. The modelling process of a supervisory policy that enforces liveness is realized with Petri nets. Petri nets are a popular modelling paradigm for a wide class of discrete event systems. Our supervisory policy is based on the next two steps in modelling process: a) A bottom-up approa...
متن کاملNonblocking Supervisory Control of Flexible Manufacturing Systems based on State Tree Structures
Much research has been addressed to nonblocking supervisory control of Discrete-Event Systems (DES) such as Flexible Manufacturing Systems (FMS), and a variety of approaches have been developed. One especially powerful approach, due to Chuan Ma, is based on DES representation by means of State Tree Structures (STS). Using STS, this chapter develops nonblocking supervisory control of a well-know...
متن کاملSimplification of a Petri Net controller in industrial systems
This paper deals with the problem of forbidden states in discrete event systems modeled by Petri Net. To avoid the forbidden states, some constraints which are called Generalized Mutual Exclusion Constraints can be assigned to them. Enforcing these constraints on the system can be performed using control places. However, when the number of these constraints is large, a large number of control p...
متن کاملSupervisory Control Using Computationally Eecient Linear Techniques: a Tutorial Introduction Interdisciplinary Studies of Intelligent Systems Supervisory Control Using Computationally Eecient Linear Techniques: a Tutorial Introduction
This paper provides an overview of a computationally eecient method for synthesizing supervisory controllers for discrete event systems (DES). The DES plant and controller are described by Petri nets which provide a useful linear algebraic model for both control analysis and synthesis. It is shown how a set of linear constraints on the plant's behavior can be enforced, accounting for possibly u...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015